L'émission X des ions multichargés N7+, O8+, en interaction avec une surface métallique

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Une identité remarquable en théorie des partitions

Nous revenons dans cet article sur une conjecture que nous avons été conduits à présenter dans un précédent travail ( [2], voir aussi [3] ) . Il s’agit d’une identité remarquable, qui se formule de manière extrêmement élémentaire dans le cadre de la théorie classique des partitions. Nous la démontrons ici sous sa forme la plus générale, et nous explicitons plusieurs de ses conséquences. Notre d...

Une conjecture en théorie des partitions

Nous présentons une conjecture qui se formule de manière élémentaire dans le cadre de la théorie des partitions.

Resultats de l'immunisation collective des enfants en Iran avec de production locale.

Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes

Résumé L’analyse d’accessibilité est généralement l’approche utilisée pour la validation des protocoles. Le problème posé par l’application de cette technique est celui de l’explosion combinatoire. Dans cet article, nous proposons une nouvelle technique de validation de protocoles appelée Reverse Leaping Reachability Analysis (RLRA). Au lieu de parcourir tout l’espace des états de protocole, no...